Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C,

Source URL: www.mathematik.tu-darmstadt.de

• Mathematical analysis
• Mathematics
• Operator theory
• Computability theory
• Approximation theory
• Fourier analysis
• Modulus of continuity
• Primitive recursive function
• Linear temporal logic
• Differential forms on a Riemann surface

NUMERICAL APPROXIMATION OF THE MASSER-GRAMAIN CONSTANT TO FOUR DECIMAL DIGITS: δ = GUILLAUME MELQUIOND AND W. GEORG NOWAK AND PAUL ZIMMERMANN Abstract. We prove that the constant δ studied by Masser, Gramain,

Source URL: www.lri.fr

• Fourier analysis
• Complex analysis
• Mathematical series
• Symbol
• Exponentiation
• Bessel function
• Pi
• Fourier transform
• Limit of a function
• Singular integral operators of convolution type
• Dirac delta function

Quantitative image recovery theorems Muhammad Aqeel Ahmad Khan1,2 , Ulrich Kohlenbach2,∗ 1 Department of Mathematics, The Islamia University of Bahawalpur, Bahawalpur, 63100, Pakistan 2 Department of Mathematics, Techn

Source URL: www.mathematik.tu-darmstadt.de

• Mathematical analysis
• Mathematics
• Operator theory
• Analysis
• Banach space
• Hilbert space
• Convex function
• Fourier analysis

ESTIMATING TIMING AND CHANNEL DISTORTION ACROSS RELATED SIGNALS Colin Raffel and Daniel P. W. Ellis , Laboratory for the Recognition and

Source URL: colinraffel.com

• Mathematical analysis
• Mathematics
• Algebra
• Fourier analysis
• Unitary operators
• Cartography
• Distortion
• Optics
• Amplifier
• Fourier transform
• Convolution

PROC. OF THE 14th PYTHON IN SCIENCE CONF. (SCIPYlibrosa: Audio and Music Signal Analysis in Python Brian McFee¶k∗ , Colin Raffel§ , Dawen Liang§ , Daniel P.W. Ellis§ , Matt McVicar‡ , Eric Battenberg∗

Source URL: colinraffel.com

• Signal processing
• Timefrequency analysis
• Sound
• Electrical engineering
• Music information retrieval
• Digital signal processing
• Fourier analysis
• Short-time Fourier transform
• Spectrogram
• Audio time-scale/pitch modification
• Chroma feature
• Transcription

Study of (3)1Π and (5)1Σ+ states of RbCs based on (3)1Π → (A − b) and (5)1Σ+ → (A − b) Fourier transform spectra analysis K. Alps1 , A. Kruzins1 , O. Nikolayeva1 , M. Tamanis1 , R. Ferber1 , A. V. Stolyarov2

Source URL: www.egas.lu.lv

Riffled Independence for Ranked Data (extended version with proofs) Jonathan Huang, Carlos Guestrin School of Computer Science, Carnegie Mellon University

Source URL: select.cs.cmu.edu

• Fourier analysis
• Probability distributions
• Measure theory
• Fourier transform
• Joseph Fourier
• Permutation
• Random walk
• F-distribution
• Dirac delta function
• Symbol
• Riffle shuffle permutation
• Normal distribution

On the asymptotic behavior of odd operators Ulrich Kohlenbach∗ Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany 3. May 2011, some typos corrected 10. Dec. 20

Source URL: www.mathematik.tu-darmstadt.de

• Symbol
• Fourier analysis
• Table of stars with Bayer designations
• Fast-growing hierarchy

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS-I 218 Property I: Let a E Pn and separate a into its even and odd parts, ae and a,,

Source URL: www-isl.stanford.edu

• Mathematical analysis
• Digital signal processing
• Fourier analysis
• Mathematics
• Bernard Widrow
• Adaptive filter
• Window function
• Least mean squares filter
• Fourier transform
• Discrete Fourier transform
• Fast Fourier transform

Fourier analysis on finite Abelian groups: some graphical applications Andrew Goodall Department of Mathematics University of Bristol, Bristol BS8 1TW, United Kingdom

Source URL: kam.mff.cuni.cz